Probabilistic Predicative Programming
نویسنده
چکیده
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
منابع مشابه
Quantum Predicative Programming
The subject of this work is quantum predicative programming — the development of programs intended for execution on a quantum computer. We look at programming in the context of formal methods of program development, or programming methodology. Our work is based on probabilistic predicative programming, a recent generalisation of the well-established predicative programming. It supports the styl...
متن کاملUsing Probabilistic-Risky Programming Models in Identifying Optimized Pattern of Cultivation under Risk Conditions (Case Study: Shoshtar Region)
Using Telser and Kataoka models of probabilistic-risky mathematical programming, the present research is to determine the optimized pattern of cultivating the agricultural products of Shoshtar region under risky conditions. In order to consider the risk in the mentioned models, time period of agricultural years 1996-1997 till 2004-2005 was taken into account. Results from Telser and Kataoka mod...
متن کاملUsing an Object-Oriented Predicative Style to Solve the Invoicing Case Study
We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The method is used in an object-oriented style: first-class citizens of the descriptions are classes and objects. We discuss some of the advantages to using the predicative method in its object-oriented style, as well as its limitations in this problem domain.
متن کاملA Predicative Type-Theoretic Interpretation of Objects
Predicative type theories are powerful tools for giving foundational interpretations of programming languages. Due to their explicit inductive construction, predicative type theories have multiple mathematical models that provide precise de nitions of programming language features. However, not all features have predicative interpretations, and current interpretations of objects rely on impredi...
متن کاملUsing an Object-Oriented Predicative Style to Solve the Invoicing Problem
We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The method is used in an object-oriented style: first-class citizens of the descriptions are classes and objects. We discuss some of the advantages to using the predicative method in its object-oriented style, as well as its limitations in this problem domain.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004